public class X {
    void foo() throws @Marker NullPointerException, @Marker ArrayIndexOutOfBoundsException {}
}
